The counting complexity of group-definable languages

AbstractA group family is a countable family B={Bn}n>0 of finite black-box groups, i.e., the elements of each group Bn are uniquely encoded as strings of uniform length (polynomial in n) and for each Bn the group operations are computable in time polynomial in n. In this paper we study the complexity of NP sets A which has the following property: the set of solutions for every x∈A is a subgroup (or is the right coset of a subgroup) of a group Bi(|x|) from a given group family B, where i is a polynomial. Such an NP set A is said to be defined over the group family B.Decision problems like Graph Automorphism, Graph Isomorphism, Group Intersection, Coset Intersection, and Group Factorization for permutation groups give natural examples of such NP sets defined over the group family of all permutation groups. We show that any such NP set defined over permutation groups is low for PP and C=P.As one of our main results we prove that NP sets defined over abelian black-box groups are low for PP. The proof of this result is based on the decomposition theorem for finite abelian groups. As an interesting consequence of this result we obtain new lowness results: Membership Testing, Group Intersection, Group Factorization, and some other problems for abelian black-box groups are low for PP and C=P.As regards the corresponding counting problem for NP sets over any group family of arbitrary black-box groups, we prove that exact counting of number of solutions is in FPAM. Consequently, none of these counting problems can be #P-complete unless PH collapses

CRTDH: An Efficient Key Agreement Scheme for Secure Group Communications in Wireless Ad Hoc Networks

As a result of the growing popularity of wireless networks, in particular ad hoc networks, security over such networks has become very important. In this paper, we study the problem of secure group communications (SGC) and key management over ad hoc networks. We identify the key features of any SGC protocol for such networks. We also propose an efficient key agreement scheme for SGC. The scheme solves two important problems that exist in most current SGC schemes: requirement of member serialization and existence of a central entity. Besides this, the protocol also has many highly desirable properties such as contributory and efficient computation of group key, uniform work load for all the members, few rounds of rekeying (2 rounds for the initial key formation and join and 1 round for leave), and efficient support for high dynamics. These properties make the protocol well suited for wireless ad hoc networks